<body>
The standard Eclipse-generated plugin with preferences and resource bundle.

Use  {@link org.python.pydev.plugin.PydevPrefs PydevPrefs} for preference access.
</body>